Russell's criticisms force Meinong to adopt a distinction between two types of negation. Logical expositions of Meinong's theory show the distinction is easily drawn in formal terms, but that alone does not justify the distinction intuitively.I criticise Routley'streatment of the distinction and argue that only Terence Parsons'theory retains and preserves the tight network of conceptual connections between the notions of negation, contradiction and impossibility. Hence, Parsons' approach best expresses the Meinongian perspective.

The framework of conceptual realism provides a logically ideal language within which to reconstruct the medieval terminist logic of the 14th century. The terminist notion of a concept, which shifted from Ockham's early view of a concept as an intentional object to his later view of a concept as a mental act , is reconstructed in this framework in terms of the idea of concepts as unsaturated cognitive structures. Intentional objects are not rejected but are reconstructed as the objectified intensional (...) contents of concepts. Their reconstruction as intensional objects is an essential part of the theory of predication of conceptual realism. It is by means of this theory that we are able to explain how the identity theory of the copula, which was basic to terminist logic, applies to categorical propositions. Reference in conceptual realism is not the same as supposition in terminist logic. Nevertheless, the various "modes" of personal supposition of terminist logic can be explained and justified in terms of this conceptualist theory of reference. (shrink)

This paper develops a valid reconstruction in first-order predicate logic of Leibniz’s argument for his complete concept definition of substance in §8 of the Discours de Métaphysique. Following G. Rodriguez-Pereyra, it construes the argument as resting on two substantial premises, the “merely verbal” Aristotelian definition and Leibniz’s concept containment theory of truth, and it understands the resulting “real” definition as saying not that an entity is a substance iff its complete concept contains every predicate of that entity, but iff its (...) complete concept contains every predicate of any subject to which that concept is truly attributable. An account is suggested of why Leibniz criticises the Aristotelian definition as merely nominal and how he takes his own definition to overcome this shortcoming: while on the Aristotelian basis the predication relation could generate endless chains, so that substances as endpoints of predication would be impossible, Leibniz’s definition reveals lowest species as such endpoints, which he therefore identifies with individual substances. Since duplicate lowest species make no sense, the Identity of Indiscernibles for substances follows. The reading suggests a Platonist interpretation according to which substances do not so much have but are individual essences, natures or forms. (shrink)

This paper advances the thesis that the raw version of the butterfly dream story in the Chuang-tzu is logically untenable and should thus be replaced by a logically coherent altered version. First, it sets out the positive meaning of the butterfly dream. Second, it examines the raw version of the butterfly dream so as to point up its inherent illogicality. Third, it sets out a modified version of the butterfly dream and demonstrates its superior logicality. Fourth, it shows how conventional (...) interpretations of the butterfly dream story—the ‘confusion hypothesis’ and the ‘external endless transformation’ hypothesis—arise from the raw version and identifies basic weaknesses in the conventional interpretation options. Fifth and last, it returns to an in-depth consideration of the interpretation which arises from a re-ordering of the butterfly dream story fragments. The raw version of the story makes little sense, which is why, I propose, it has lacked a satisfactory interpretation. This thesis stands on three presuppositions. The butterfly dream story is an analogy of the enlightenment experience. The enlightenment experience, or the experience of illumination, is the phenomenological correlate of the central objective of the Chuang-tzu, that of self-transformation. And the enlightenment experience is not only the phenomenological correlate, but the essential pre-condition for self-transformation. By refashioning our (mis)interpretations of the butterfly dream story, we can more fully appreciate its transformative message. (shrink)

Many philosophers have attempted to offer a logical theory of objects, employing different techniques. Thus R. Carnap tried to “reconstruct” logically the world by using the modern symbolic logic, while N. Goodman “constructed” the world with the help of the calculus of individuals or the logic of part-whole relations. W.V. Quine helped to steer the attention toward the question of ontological commitment and toward a theory of objects produced by a logical analysis of natural languages. Recently, there have (...) been controversial discussions concerning the metaphysical and logical aspects of objects in actual and possible worlds as well as new contributions to the theory of nonexistent objects, rekindling the old Russell-Meinong controversy. It seems that even the proposed theories of events, such as that of R. M. Martin, maintain the great significance of the notion of an object. Then there is a plethora of the so-called intensional objects, such as the alleged objects of propositional attitudes, the story of which is tied with the names of Frege, Russell, Carnap and many others. Is it possible to give an all-embracing theory of objects which would satisfy all the parties involved? Although such possibility may be very questionable, the instrumental role of logic for the development of the metaphysical theories of objects is indisputable. Two factors are, however, involved in the constitution of a logical theory of objects: the basis or the given data from which the theory starts; the logical apparatus employed, i.e., the logical axioms and rules of inference, just as the relevant semantical rules which are formulated in the metalanguage. While the logical apparatus is usually very clear, at least in the case of the formally well-construed theories, the given basis of a metaphysical theory T—as we may call it—might contain many tacit assumptions which would need a lot of clarification. It seems that philosophers fight more about the presuppositions and assertions of their systems than about the logic involved. I would like to discuss the interplay between the above two factors, starting with the realm of the given objects. As to the second factor—the logical apparatus involved—the contributions of first-order predicate logic and of the calculus of individuals will be considered. (shrink)

Michael V. Wedin presents a rigorous reconstruction of the deductions in Parmenides' Way of Truth: the most important philosophical treatise before Plato and Aristotle. He answers criticisms which claim that Parmenides' arguments are shot through with logical fallacies, and argues against natural explanations of Parmenides in the Ionian tradition.

Over the past few decades there has been a rebellion brewing in the world of Parmenides scholarship. Most of the things you probably think you know about the man have come under serious and sustained attack. No longer is it safe to accept on trust the view—which G. E. L. Owen so forcefully defended in his 1960 paper “Eleatic Questions”—that according to Parmenides there exists only one thing, ungenerated, indestructible, unchanging, indivisible, and spherical. Nor is it safe to assume that (...) he had no real commitment to empirical theorizing, and sought only to demolish the cosmological tradition that was initiated and developed by his Ionian predecessors Thales, Anaximander, and Anaximenes. All of.. (shrink)

Does the most common response given by participants presented with Tversky and Kahneman’s famous taxi cab problem amount to a violation of Bayes’ theorem? In other words, do they fall victim to so-called base-rate fallacy? In the present paper, following an earlier suggestion by Crupi and Girotto, we will identify the logical arguments underlying both the original diagnosis of irrationality in this reasoning task under uncertainty and a number of objections that have been raised against such a diagnosis. This (...) will enable us to show firstly that, contrary to the dismissive arguments recently put forward by Elqayam and Evans, empirical evidence turns out to be quite useful in addressing questions of this kind. Therefore, it can make a significant contribution to moving the base-rate fallacy controversy forward. Secondly, the available empirical evidence (though limited and sometimes inconclusive) seems to support the charge of irrationality levelled against the majority of participants presented with the taxi cab problem, and hence suggests that base-rate neglect is a real fallacy − that is the conclusion of our analysis. (shrink)

This thesis is a critique of Jaakko Hintikka’s reconstruction of Kantian intuition in logical and mathematical reasoning. I argue that Hintikka’s reconstruction of Kantian intuition in particular and his reconstruction of Kant's philosophy of mathematics in general fails to be successful in two ways: First, the logical formula which contains an instantiated term (henceforth, instantial term) that is introduced by the rule of existential instantiation in the ecthesis part of a proof of an argument is not even a (...) proper singular proposition whose relation to its object is supposed to be immediate. It is not a proper singular proposition because its truth conditions are general, i.e., it makes a general statement about a class of individuals of the sort instantiated- a statement whose analysis is based on quantifiers. Second, I show that certain proofs in mathematics- those in the form of reductio ad absurdum- are not captured by Hintikka’s reconstruction of Kant’s philosophy of mathematics either. (shrink)

The consistent formalization of Meinong's object theory in recent mathematical logic requires either plural modes of predication, or distinct categories of nuclear or constitutive and extranuclear or nonconstitutive properties. The plural modes of predication approach is rejected because it is reducible to the nuclear extranuclear property distinction, but not conversely, and because the nuclear extranuclear property distinction offers a more satisfactory solution to object theory paradoxes.

Logical reconstruction is a fundamental philosophical method for achieving clarity concerning the prerequisites, presuppositions and the logical structure of natural language arguments. The scope and limits of this method have become visible not least through its intense application to Anselm of Canterbury’s notorious proofs for the existence of God. This volume collects, on the one hand, reconstructions of Anselmian arguments that take account of the problems of reconstruction and, on the other hand, theoretical reflections on reconstruction with (...) a view to Anselm. We hope that this will allow the reader to critically assess the merits of the theoretical accounts in the light of the reconstructions and the merits of the reconstructions in the light of the theoretical accounts. In general, by considering the example of an outstanding thinker in one or the other way, this volume aims at advancing the methodology and the practice of logical reconstruction. The following remarks explain and motivate this undertaking: What purposes does logical reconstruction serve? What purposes does the reflection on logical reconstruction serve? In which ways can the practice and theory of reconstruction profit particularly from studying Anselm’s reasoning? How can the resulting problems be addressed? – Finally, a short overview over the contributions to this volume is offered. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

The correspondence between Meinong and Kazimierz Twardowski highlights the relationship between two philosophers who influenced the history of philosophy and psychology in Austria and Poland. The two correspondents discuss, among other things, their epistemological approach and the university politics of their times. In addition, there is an extensive introduction that places the correspondence in its proper historical and philosophical context.

Roman Suszko said that “Obviously, any multiplication of logical values is a mad idea and, in fact, Łukasiewicz did not actualize it.” The aim of the present paper is to qualify this ‘obvious’ statement through a number of logical and philosophical writings by Professor Jan Woleński, all focusing on the nature of truth-values and their multiple uses in philosophy. It results in a reconstruction of such an abstract object, doing justice to what Suszko held a ‘mad’ project within (...) a generalized logic of judgments. Four main issues raised by Woleński will be considered to test the insightfulness of such generalized truth-values, namely: the principle of bivalence, the logic of scepticism, the coherence theory of truth, and nothingness. (shrink)

This paper aims at clarifying the nature of Frege's system of logic, as presented in the first volume of the Grundgesetze. We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us to emphasise the differences and similarities between this system and a modern system of classical second-order logic.

This is a reproduction of a book published before 1923. This book may have occasional imperfections such as missing or blurred pages, poor pictures, errant marks, etc. that were either part of the original artifact, or were introduced by the scanning process. We believe this work is culturally important, and despite the imperfections, have elected to bring it back into print as part of our continuing commitment to the preservation of printed works worldwide. We appreciate your understanding of the imperfections (...) in the preservation process, and hope you enjoy this valuable book. (shrink)

The author replies to ronald suter's "russell's 'refutation' of meinong in 'on denoting'," "philosophy and phenomenological research," june, 1967. suter's interpretation of one of russell's arguments is criticized on exegetical grounds, and his defense of another argument is rebutted on logical grounds. meinong's thesis is presented as the thesis that all statements of a certain form are true. it is argued that all of russell's arguments are attempts to pose counter-examples to this single view. meinong is (...) defended against russell's counter-examples. (shrink)

The paper’s main objective is to bring out the original project of philosophy and history of science, underlying the famous works of Thomas Kuhn. In defiance of what is commonly envisaged, the model of scientific revolutions is demonstrated as a promising conceptual frame to be used with the purpose to reconstruct the development of modern and contemporary science. The analysis of the logic of explanation of scientific changes elaborated by Kuhn is based on two canonical monographs: The Structure of Scientific (...) Revolutions and Copernican Revolution. It is argued that the standard, widespread interpretation of the model, assuming the drastic conceptual cuts to occur as a result of a paradigm change, is essentially untenable. In fact, the model implies that each change leads to the higher level order and is susceptible to rational reconstructions. Kuhn’s conception is subsequently confronted with Stefan Amsterdamski’s notion of ideal of science, with the intention of showing that the reversal of the relationship between explanans and explanandum as established inaforementioned works would have damaging consequences in terms of reconstructive attempts in history of science. It is shown that what is of most value in Amsterdamski’s workis indeed strictly Kuhnian in character. (shrink)

This article draws on two Mencian illustrations of human goodness: the example of the child in the well and the metaphor of the continually deforested mountain. By reconstructing Mencius’ two novel ideas within the framework of a phenomenological thought-experiment, this article’s purpose is to explain the validity of this uncommon approach to ethics, an approach which recognizes that subjective participation is necessary to achieve any ethical understanding. It is through this active phenomenological introspection that the individual grasps the goodness of (...) human nature, whilst simultaneously coming to realize one’s own degree of closeness (or estrangement) to this universal nature, depending on the success of the thought experiment. Despite the apparent logical circularity of reformulating Mencius in such fashion, this article further maintains that no theoretical premises need be taken up prior to reenacting the Mencian thought-experiment. On the contrary, this article explains that knowledge of human nature manifests itself in the very moment of the proposed epistemic act. (shrink)

The correspondence between Meinong and Kazimierz Twardowski highlights the relationship between two philosophers who influenced the history of philosophy and psychology in Austria and Poland. The two correspondents discuss, among other things, their epistemological approach and the university politics of their times. In addition, there is an extensive introduction that places the correspondence in its proper historical and philosophical context.

Many historians and philosophers of logic have claimed that during the modern classical era there was a long period of stagnation or even of decline in the field of logic. The aim of this paper is to convince the audience that this standard evaluation of the development of modern logic during the period from Leibniz to Frege is misdirected and needs to be corrected. Even though it is true that the now usual way of understanding logic merely as the doctrine (...) of syntax and semantics of explicit languages would not have appealed even to most 19th century logicians, it is still not the case that there is nothing worth discussing with regard to the development of logic during the modern classical period. The algebraic period culminated with Schroder's contribution and neither Herbartian formal logic nor Trendelenburg's critical epistemology aroused much interest among the 20th century mathematical logicians and analytic philosophers. Nevertheless, the development of symbolic logic can only be understood properly by relating its emergence to the immediately preceding philosophically-oriented discussion about the reform of logic. (shrink)

Many historians and philosophers of logic have claimed that during the modern classical era there was a long period of stagnation or even of decline in the field of logic. The aim of this paper is to convince the audience that this standard evaluation of the development of modern logic during the period from Leibniz to Frege is misdirected and needs to be corrected. Even though it is true that the now usual way of understanding logic merely as the doctrine (...) of syntax and semantics of explicit languages would not have appealed even to most 19th century logicians, it is still not the case that there is nothing worth discussing with regard to the development of logic during the modern classical period. The algebraic period culminated with Schroder's contribution and neither Herbartian formal logic nor Trendelenburg's critical epistemology aroused much interest among the 20th century mathematical logicians and analytic philosophers. Nevertheless, the development of symbolic logic can only be understood properly by relating its emergence to the immediately preceding philosophically-oriented discussion about the reform of logic. (shrink)

Über Gegenstandstheorie: In this classic paper from 1904, Alexius Meinong argues that a mental state must be about something in order to be a mental state, so since we can have mental states about non-existing things, there must be such non-existing things. The paper appears here in Norwegian translation for the first time.

In this rejoinder to the critical comments elicited by my essay “Existential Hypotheses,” I propose to deal first with the challenge coming from the avowedly different philosophical outlook of Professor Churchman. My other critics, Professors Frank, Hempel, Nagel and Ramsperger, on the whole, share my basic conception of the tasks of philosophy of science and epistemology, even if they dissent in one important respect or another from the special solution I suggested. But since I discern even in Professor Nagel's remarks (...) a pragmatist or instrumentalist strain akin to the major contentions of Professor Churchman, it will be well to begin with a defense and further clarification of my underlying point of view. Only after this restatement of my platform will I undertake to defend semantic realism against the specific criticisms advanced by the last four authors. (shrink)

Backward induction has been the standard method of solving finite extensive-form games with perfect information, notwithstanding the fact that this procedure leads to counter-intuitive results in various games. However, beginning in the late eighties, the method of backward induction became an object of criticism. It is claimed that the assumptions needed for its defence are quite implausible, if not incoherent. It is therefore natural to ask for the justification of backward induction: Can one show that rational players who know the (...) structure of the game, have trust in each other's practical rationality and reason correctly, will act in accordance in backward induction? Several researchers have tried a justification of this kind, but the argument presented in Robert Aumann's paper from 1995 is perhaps the most well-known and influential attempt to provide such a justification. Clausing provides a sustained discussion of the justification problem for backward induction. It is an excellent work and the criticism I will present below does not detract from this evaluation: the issues discussed by the author are complex and it is difficult to get everything right. Furthermore, I hope that the criticism to be presented may be instructive; Even though it has not been Clausing's intention, his logical reconstruction of Aumann's defence of backward induction allows us to see very clearly what is wrong with that argument. It also provides us with * This paper was presented at workshops in Lund and in Uppsala, in the Fall of 1999. I am indebted to the participants for their useful comments. The work on the paper was supported by a generous research grant from The Bank of Sweden Tercentenary Foundation. (shrink)

Dans laScience de la logiqueet dans l’Encyclopédie des sciences philosophiques,Hegel reconstruit la philosophie critique de Kant en développant i) une logique transcendantale dans laScience de la logiqueet dans laPhilosophie de la nature; ii) une conception pragmatique de l’a priori; et iii) une caractéristique-clé de l’usage du verbe «réaliser» en relation avec les concepts et les principes. Chacun de ces trois éléments constitue un aspect central de la sémantique spécifiquement cognitive de Hegel, que celui-ci développe, en partant de la thèse kantienne (...) de la référence cognitive singulière, en un réalisme pragmatique systématique. (shrink)

As well as aiming to revive interest in Meinong's thought, this book challenges many of the most widespread assumptions of philosophical logic.

Without directly addressing the Demarcation Problem for logic—the problem of distinguishing logical vocabulary from others—we focus on distinctive aspects of logical vocabulary in pursuit of a second goal in the philosophy of logic, namely, proposing criteria for the justification of logical rules. Our preferred approach has three components. Two of these are effectively Belnap’s, but with a twist. We agree with Belnap’s response to Prior’s challenge to inferentialist characterisations of the meanings of logical constants. Belnap argued (...) that for a logical constant to exist, its rules must be conservative over a previously given consequence relation and guarantee the uniqueness of the constant. The twist is that we require logical vocabulary to be provably conservative, not over a previously given formal consequence relation, but over a previously given meaningful vocabulary of a language. Uniqueness is also a feature defined in terms of provability: if two syntactically distinguished expressions are governed by the same rules, then formulas with them as main operators are interderivable. Belnap’s criteria are not only those for the existence of a logical constant, but more: they are what distinguishes logical vocabulary from all other expressions. It is the defining mark of a logical constant that it is provably conservative over the fragment of the language which excludes it and that its rules guarantee its uniqueness. The third component is the topic neutrality of logic. The provable conservativeness of logic over a previously given vocabulary of a language is motivated, in part, by appeal to molecularism in the theory of meaning. Molecularity is a feature endorsed by the theory of meaning as a whole, so it does not distinguish logical constants from other expressions. The same is true for conservativeness. We argue that molecularity, and hence conservativeness, are implicit presuppositions of speakers’ use of language: the addition of new vocabulary to a language is presupposed to be conservative. But this presupposition is one that we should be able reflectively to endorse (such as when attempting a rational reconstruction of the use of the vocabulary). Thus, where conservativeness is found to fail, this defect should be remedied and the use of the vocabulary corrected (as in classical negation) or excised altogether (as in pejoratives). We go on to characterise a notion of topic neutrality, which we argue applies to logical vocabulary. We then note that reflective endorsement of the conservativeness of a topic neutral vocabulary requires a proof that the vocabulary is conservative relative to any base vocabulary. Thus we require that logical vocabulary be demonstrably conservative. Allying this requirement, distinctive of logic, to a general consideration about the commitments of assertion yields a mode of justification for logical constants akin to some conceptions of Harmony, i.e., to the idea that the consequences of assertion of a logical complex need to be warranted by the grounds and ought to be the strongest consequences warranted by the grounds. Intuitionistic logic acquires a somewhat familiar justification but emanating from a new motivation. (shrink)

The Fifth International Congress of Logic, Methodology and Philosophy of Science was held at the University of Western Ontario, London, Canada, 27 August to 2 September 1975. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science, and was sponsored by the National Research Council of Canada and the University of Western Ontario. As those associated closely with the work of the Division over the years (...) know well, the work undertaken by its members varies greatly and spans a number of fields not always obviously related. In addition, the volume of work done by first rate scholars and scientists in the various fields of the Division has risen enormously. For these and related reasons it seemed to the editors chosen by the Divisional officers that the usual format of publishing the proceedings of the Congress be abandoned in favour of a somewhat more flexible, and hopefully acceptable, method of pre sentation. Accordingly, the work of the invited participants to the Congress has been divided into four volumes appearing in the University of Western Ontario Series in Philosophy of Science. The volumes are entitled, Logic, Foundations of Mathematics and Computability Theory, Foun dational Problems in the Special Sciences, Basic Problems in Methodol ogy and Linguistics, and Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science. (shrink)

Before engaging with intentionality, the philosopher of mind must consider the intrinsic nature of psychological elements. Conscious states, contrary to ordinary and scientific objects, seem to penetrate each another in such a way that it becomes impossible to enumerate, class or organize through laws the various experiences at stake. In this context, how is a science of consciousness conceivable? How is it possible to apply the epistemological requirements of any science to a domain whose ontological nature contradicts such demands? The (...) paper reconstructs Husserl’s solution to this issue in the Fifth Logical Investigation. I show how his appeal to the mereological framework of the Third Investigation gives him the tools to rationalize the domain of the mind and to establish phenomenology as an authentic science of consciousness. I first demonstrate that the very task of phenomenological investigations is defined in mereological terms. I then reconstruct the issue regarding the inclusion of the intentional object within the act, by exposing the nuances of the Husserlian position in this famous controversy. In a last part, I show how mereological concepts are at the core of the Husserlian reinterpretation of the Brentanian thesis according to which all acts are presentations or based on presentations. (shrink)